Розглянуто деякі питання теорії даних. Визначено конкретний тип даних. З'ясовано, що тип даних - математична структура за Бурбакі й структура даних. Запропоновано їх нову філософію. Введено абстрактні структури для даних (абстрактні структури пам'яті та власне абстрактні структури для даних) і абстрактні структури (від) даних (типи даних і структури даних). Розглянуто процеси виникнення пoродження структур даних. Наведено класифікацію 28 власне абстрактних структур для даних на базі первинного відношення, що визначає структуру в інформаційній множині або (якщо не існує таке відношення) через повторне відношення лінійного порядку, породжену відображенням інформаційної множини в абстрактну пам'ять. Обговорено співвідношення власне абстрактних структур для даних з абстрактними типами даних і класами об'єктів в об'єктно-орієнтованому підході.

Подано огляд специфікацій і синтаксичних інструментів для формальних специфікацій, що застосовуються у мовах процедурного програмування. Запропоновано систему додаткових формальних специфікацій для опису програми. Вони описують блоки програм, функції (процедури), умови у різних програмних точках.

Визначено три умови для недетермінованих кінцевих автоматів: вхідна та початкова вкладеність і початкова розкладеність. Такі автомати названо недетермінованими кінцевими автоматами з вкладеністю. Указано, що такі автомати відповідають блочно-процедурним мовам програмування високого рівня.

Рассмотрены основные положения нового раздела искусственного интеллекта - принятие эвристических решений во время вычислительного процесса, связанного с математическими вычислениями над данными, представленными (в формате) с плавающей точкой. Предложена новая арифметическая архитектура компьютерных систем следующих поколений с аппаратно-программной поддержкой системы слежения вычислительного процесса, в т.ч. относительной точности начальных, промежуточных и конечных данных.

Рассмотрены различные аспекты компьютерной информатики: ее содержание и основные принципы. Раскрыта сущность понятия компьютерной информатики как науки о взглядах, методах и средствах для исследования (решения) математических и других знаковых моделей, которые являются частью информационных объектов, создаваемых человеком. Внимание уделено состоянию некоторых разделов компьютерной информатики в отношении их математической формализации. Охарактеризованы принципы абстрактных компьютерных систем, языков программирования. Показано место искусственного интеллекта в математических вычислениях, компьютеризации естественных языков. Приведены основные характеристики языков программирования.